Skip to content

Actions: huub-solver/huub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,411 workflow runs
1,411 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Not First/Not Last propagators for disjunctive Check Format #501: Pull request #180 synchronize by AllenZzw
June 1, 2025 09:26 16s AllenZzw:feat/disj_no_last
AllenZzw:feat/disj_no_last
June 1, 2025 09:26 16s
Add Not First/Not Last propagators for disjunctive Run Tests #428: Pull request #180 synchronize by AllenZzw
June 1, 2025 09:26 5m 48s AllenZzw:feat/disj_no_last
AllenZzw:feat/disj_no_last
June 1, 2025 09:26 5m 48s
Add Not First/Not Last propagators for disjunctive Check Format #500: Pull request #180 synchronize by AllenZzw
June 1, 2025 09:13 18s AllenZzw:feat/disj_no_last
AllenZzw:feat/disj_no_last
June 1, 2025 09:13 18s
Add Not First/Not Last propagators for disjunctive Run Tests #427: Pull request #180 synchronize by AllenZzw
June 1, 2025 09:13 5m 45s AllenZzw:feat/disj_no_last
AllenZzw:feat/disj_no_last
June 1, 2025 09:13 5m 45s
Add Not First/Not Last propagators for disjunctive Run Tests #426: Pull request #180 synchronize by AllenZzw
June 1, 2025 09:05 5m 54s AllenZzw:feat/disj_no_last
AllenZzw:feat/disj_no_last
June 1, 2025 09:05 5m 54s
Add Not First/Not Last propagators for disjunctive Check Format #499: Pull request #180 synchronize by AllenZzw
June 1, 2025 09:05 18s AllenZzw:feat/disj_no_last
AllenZzw:feat/disj_no_last
June 1, 2025 09:05 18s
Add Not First/Not Last propagators for disjunctive Check Format #498: Pull request #180 synchronize by AllenZzw
June 1, 2025 09:02 17s AllenZzw:feat/disj_no_last
AllenZzw:feat/disj_no_last
June 1, 2025 09:02 17s
Add Not First/Not Last propagators for disjunctive Run Tests #425: Pull request #180 synchronize by AllenZzw
June 1, 2025 09:02 5m 49s AllenZzw:feat/disj_no_last
AllenZzw:feat/disj_no_last
June 1, 2025 09:02 5m 49s
Add Not First/Not Last propagators for disjunctive Check Format #497: Pull request #180 synchronize by AllenZzw
June 1, 2025 06:23 18s AllenZzw:feat/disj_no_last
AllenZzw:feat/disj_no_last
June 1, 2025 06:23 18s
Add Not First/Not Last propagators for disjunctive Run Tests #424: Pull request #180 synchronize by AllenZzw
June 1, 2025 06:23 5m 51s AllenZzw:feat/disj_no_last
AllenZzw:feat/disj_no_last
June 1, 2025 06:23 5m 51s
fix: print reasons as conjunction of literal names Run Tests #423: Commit a9c33bd pushed by Dekker1
May 28, 2025 10:32 6m 0s develop
develop
May 28, 2025 10:32 6m 0s
fix(huub): print reasons as conjunction of literal names Run Tests #422: Pull request #182 synchronize by Dekker1
May 28, 2025 10:23 6m 9s Dekker1:fix/reason_print
Dekker1:fix/reason_print
May 28, 2025 10:23 6m 9s
fix(huub): print reasons as conjunction of literal names Check Format #496: Pull request #182 synchronize by Dekker1
May 28, 2025 10:23 17s Dekker1:fix/reason_print
Dekker1:fix/reason_print
May 28, 2025 10:23 17s
Add Not First/Not Last propagators for disjunctive Run Tests #421: Pull request #180 synchronize by AllenZzw
May 26, 2025 02:10 4m 43s AllenZzw:feat/disj_no_last
AllenZzw:feat/disj_no_last
May 26, 2025 02:10 4m 43s
Add Not First/Not Last propagators for disjunctive Check Format #495: Pull request #180 synchronize by AllenZzw
May 26, 2025 02:10 18s AllenZzw:feat/disj_no_last
AllenZzw:feat/disj_no_last
May 26, 2025 02:10 18s
Add Not First/Not Last propagators for disjunctive Check Format #494: Pull request #180 synchronize by AllenZzw
May 26, 2025 02:08 16s AllenZzw:feat/disj_no_last
AllenZzw:feat/disj_no_last
May 26, 2025 02:08 16s
Add Not First/Not Last propagators for disjunctive Run Tests #420: Pull request #180 synchronize by AllenZzw
May 26, 2025 02:08 3m 42s AllenZzw:feat/disj_no_last
AllenZzw:feat/disj_no_last
May 26, 2025 02:08 3m 42s
Add Not First/Not Last propagators for disjunctive Run Tests #419: Pull request #180 synchronize by AllenZzw
May 26, 2025 01:55 4m 3s AllenZzw:feat/disj_no_last
AllenZzw:feat/disj_no_last
May 26, 2025 01:55 4m 3s
Add Not First/Not Last propagators for disjunctive Check Format #493: Pull request #180 synchronize by AllenZzw
May 26, 2025 01:55 19s AllenZzw:feat/disj_no_last
AllenZzw:feat/disj_no_last
May 26, 2025 01:55 19s
Update configurations for VSIDS-related search heuristics (#181) Run Tests #418: Commit 325ae93 pushed by AllenZzw
May 23, 2025 04:02 5m 31s develop
develop
May 23, 2025 04:02 5m 31s
Update configurations for VSIDS-related search heuristics Check Format #492: Pull request #181 synchronize by AllenZzw
May 23, 2025 03:43 18s AllenZzw:feat/vsids_after_restart
AllenZzw:feat/vsids_after_restart
May 23, 2025 03:43 18s
Update configurations for VSIDS-related search heuristics Run Tests #417: Pull request #181 synchronize by AllenZzw
May 23, 2025 03:43 4m 31s AllenZzw:feat/vsids_after_restart
AllenZzw:feat/vsids_after_restart
May 23, 2025 03:43 4m 31s
Update configurations for VSIDS-related search heuristics Check Format #491: Pull request #181 synchronize by AllenZzw
May 20, 2025 00:00 17s AllenZzw:feat/vsids_after_restart
AllenZzw:feat/vsids_after_restart
May 20, 2025 00:00 17s
Update configurations for VSIDS-related search heuristics Run Tests #416: Pull request #181 synchronize by AllenZzw
May 20, 2025 00:00 4m 23s AllenZzw:feat/vsids_after_restart
AllenZzw:feat/vsids_after_restart
May 20, 2025 00:00 4m 23s
fix(huub): print reasons as conjunction of literal names Run Tests #415: Pull request #182 synchronize by Dekker1
May 19, 2025 07:16 5m 22s Dekker1:fix/reason_print
Dekker1:fix/reason_print
May 19, 2025 07:16 5m 22s